module DuplicateWithCore;

type Int ();
